perm filename TEST1[1,JRA] blob sn#005860 filedate 1972-10-27 generic text, type T, neo UTF8

00400	 (P(A)∨Q(A)) ⊃ (P(B)∨Q(B));
00450	;;
00500	;